Computational dialectics is concerned with the formal representation of argument and dispute. The field emerged from developments in philosophy, artificial intelligence and legal theory. Its goal is to suggestalgorithms, procedures and protocols to investigate the tenability of logical claims, on the basis of information in the form of rules and cases. Currently, the field slowlyconverges to the opinion that dispute is the most fair and effective way to investigate claims. The basic assumption of this field is that dispute is the (...) most fair and effective way to investigate claims. The definition of a formal dispute varies throughout the literature, butis considered not to vary within one and the same logical system. In this paper it is shown that parts of the definition of a dispute may change within one logical system.To this end, the notion of partial protocol specification (PPS) is introduced. A PPS is a part of the definition of the protocol. A modification to the protocol, in the form of a PPS, can be put forward, disputed, established and incorporated as aneffective `point of order. The paper demonstrates the existence of self-undermining PPSs, it discusses the relevance of PPSs for dialectical models of legal argument and concludes with a description of how PPSs can be built into existing argumentation systems. (shrink)

Defeasible reasoning is concerned with the logics of non-deductive argument. As is described in the literature, the study of this type of reasoning is considerably more involved than the study of deductive argument, even so that, in realistic applications, there is often a lack of resources to perform an exhaustive analysis. It follows that, in a theory of defeasible reasoning, the order and direction in which arguments are developed, i.e. theprocedure, is important. The aim of this article is to show (...) that debate is the most efficient procedure to argue in the presence of limited resources. To do so, there is first some general theory on defeasible argumentation, which is followed by an introduction to the problem of dialectical search. The problem of dialectical search is (or at least, should be) the essential issue in every theory on argumentation, and emerges at every occasion that involves adjudication on competing arguments. Starting with an example, it is explained that dialectical search can be best scheduled according to classical debating techniques, that work along well-tried methods. These methods (which include various forms of curtailment, interruption, and interpretation) have proven their value in keeping debating efforts within reasonable bounds. How they apply in a theory of formal argument, will be shown in this article. (shrink)

Thagard's theory of explanatory coherence (TEC) is a conceptual and computational framework that is used to show how new scientific theories can be judged to be superior to previous ones. In Structures in Science (SiS), Kuipers criticizes TEC as a model that does not faithfully reflect scientific practice. This article tries to explain the machinery behind TEC, and tries to indicate where TEC falls short (conceptually speaking) and where it can be improved. The main idea proposed in this article is (...) not to derive a coherence network from the input (à la TEC), but to construct a coherence network right from the input itself. (shrink)

Dispute types can roughly be divided in two classes. One class in whichthe notion of justification is fundamental, and one in which thenotion of opposition is fundamental. Further, for every singledispute type there exist various types of protocols to conduct such adispute. Some protocols permit local search (a process in which oneis allowed to justify claims partially, with the possibility to extendjustifications on request later), while other protocols rely on globalsearch (a process in which only entire arguments count as justifications).This (...) paper integrates the two above-mentioned types of dispute withthe use of a protocol that permits local search. The locality aspect isrelatively new to computer scientists, while the detailed computationalelaboration of the approach is relatively new to philosophical logicians.The proposed protocol is demonstrated with the help of eight benchmarks.These benchmarks are centered around the problem that co-concludingarguments sometimes accrue, and sometimes do not. (shrink)

Dispute types can roughly be divided in two classes. One class in whichthe notion of justification is fundamental, and one in which thenotion of opposition is fundamental. Further, for every singledispute type there exist various types of protocols to conduct such adispute. Some protocols permit local search (a process in which oneis allowed to justify claims partially, with the possibility to extendjustifications on request later), while other protocols rely on globalsearch (a process in which only entire arguments count as justifications).This (...) paper integrates the two above-mentioned types of dispute withthe use of a protocol that permits local search. The locality aspect isrelatively new to computer scientists, while the detailed computationalelaboration of the approach is relatively new to philosophical logicians.The proposed protocol is demonstrated with the help of eight benchmarks.These benchmarks are centered around the problem that co-concludingarguments sometimes accrue, and sometimes do not. (shrink)

Arbitration is a preferred method for the resolution of international business disputes. As of yet, most publications on online arbitration deal with legal issues. In this paper, we present an Online arbitration environment that we believe facilitates the participants in a meaningful way. Our assumption is that an ODR service should be easy to use (convenient), and at the same time provide meaningful support. More specifically we have paid attention to four criteria that we believe are important, viz. simplicity, awareness, (...) orientation and timeliness. The online arbitration service is called GearBi. (shrink)